Types within CONSTRUAL