Types within F.I.M.