Types within SAYLOR-BEALL