Refine types stage

[DasLixou]

• Change 'a lifetime to 'ast
• Allow to split Registry into TypeRegistry and ModuleRegistry
• Split RoughType and RefinedType
• Use arena-allocated slices for variants, ports and fields instead of Vec