Type error: error: Sort does not have a type