Function resolve_type_ref 

pub fn resolve_type_ref(
    r: &TypeRef,
    types: &HashMap<String, TypeDecl>,
) -> Option<Ty>