improvements to upper bound checking code
fix assignability analysis for subtypes of types involving aliases