re #2 centrally forbade type casting. Would lead to too many complications.