Should Architects Understand Type?