pub fn resolve(ty: &TypeRef, types: &TypeTable, span: Span) -> Result<Type>
Resolve a syntax type against a self-contained type table.