fix #584, require aliases for abstract classes to be formal or abstract