Types within TYSAMAN