move model creation for shortcut refinement to RefinementVisitor
update tests for changes to lang module
add missing call to denotableType()
lots of reformatting
minor
sort out the whole supertype caching issue
reenable the caching that caused bug #918, 
rolling back @abbaa5029a9752baab909b3d1b3672e2add93e62
resolve aliases when forming principal instantiations, 
fixing a bug with refinement validation
don't throw away < and > tokens in a grouped type expression
ups
spec dynamic interfaces for #700
minor
fix tests for change to List
oops
add a test
more detailed error message fixing #988
fix #991
fix #913
spec for #850
error for callable parameters of annotations