Refactor(resolver): clear logics

[jackey8616]

• Splitting logics of TypeResolver into Transformer class.
• Clean up some nested logics in TypeResolver.
• Rewrite the flow of throwing error with throwUnless instead of if branch.

[jackey8616]

@WoH I think we should refactor it in pieces. This PR would only includes these commits.