Types within SASSO MECCANICA