minor
fix the super ref for qualified expressions
minor change to message
fix super ref for (super of Type)