Types within MAS