Types within LINCOLN