ignore contexts on un-skolemized tyvars when checking polymorphic constraints
provide often used java type for Delayed
do not drop flexi constraints on annotated functions
do'nt globalize CAFs for now, don't globalize anonymous lambdas with rigid type
cosmetic changes