Types within IMSA