ir: Assert on empty TypeReference
semantic: Ensure that TypeExp's are resolved