Types within HANSON