Types within LAEMPE