Types within MITTS & MERRILL