Is it possible to add Bech32 addresses into Move

I’ve seen that AccountAddress supports TryFrom trait for Bech32 value which means (at least for me) that somewhere in the internals of Libra Bech32 is an appropriate way of encoding addresses.

Is it possible (if yes - I can implement and suggest a PR) to add Bech32 address values into Move compiler? It could make Move more useful outside of Libra.