Convert type spec to Type.t

[yoshihiro503]

Implement all case of the function Type.of_absform.

• Type annotations: TyAnn
• Atoms: atom(), 'ok'
• Singleton Integer: 1, and number()
• any()
• none()
• boolean()
• Tuples: TyTuple
• Unions: TyUnion
• pid() port() reference() identifier() Support the type pid(), port(), reference() and identifier() #255
• non_neg_integer(), integer(), pos_integer(), neg_integer()
• float() byte() char()
• range: TyRange
• binary() bitstring() and Bitstring
• Lists (proper and improper) [244]convert integer lists and maps of type specs #246
• Strings (= list(char())) [244]convert integer lists and maps of type specs #246
• iodata() (= iolist() | binary()), iolist() (= maybe_improper_list(byte() | binary() | iolist(), binary() | []))
• function(), TyFun, TyFunAny
• TyFunAnyArity
• TyContFun [244] cont fun of type specs #247
• TyAnyTuple
• module() mfa() node()
• timeout()
• no_return()
• Binary and Unary Operators: TyBinOp, TyUnaryOP
• Maps: TyAnyMap TyMap [244]convert integer lists and maps of type specs #246
• User defined type : TyUser
• TyLit
• Records: TyRecord
• Remote types: TyRemote