> has the side-effect of making small native binaries impossible

fear not; support for module aliases in signatures will resolve that problem quite soon, and quite elegantly too.