Move types into their separate module. Rename Type to ResolvedType to better reflect its function in face of future aliased types. Introduce StructuralType to represent Simplicity types in the code base. Implement From and TryFrom to inter-type conversions. Introduce TypeInner to handle type primitives of both resolved and future aliased types.
Move types into their separate module. Rename
TypetoResolvedTypeto better reflect its function in face of future aliased types. IntroduceStructuralTypeto represent Simplicity types in the code base. ImplementFromandTryFromto inter-type conversions. IntroduceTypeInnerto handle type primitives of both resolved and future aliased types.