fixed major bug in subTypeOf which did not implement named types as aliases
fixed major bug in subTypeOf which did not implement named types as aliases

cwi-swat/pdb.values,cwi-swat/pdb.values,usethesource/rascal-value