Fill out TypeModule with all functions required by Morphir.IR.Type

[DamianReeves]

We need to support in principal the same operations in the TypeModule as those that are in Morphir.SDK.Type.

We should support the Morphir.IR.Type module.

NOTE: Please note we want to support the functions in spirit in the modules, but we should also think about Scala ergonomics. One suggestion here is to use methods on our types and implement the functions in terms of those methods (similar to what was done with other files like Name and Path).