Types within CHARMILLES