Perform semantic analysis on a type.
Type AST node
the location of the type
context
Type with completed semantic analysis, Terror if errors were encountered
See Implementation
Perform semantic analysis on a type.