Typecheck Expressions - Tweak with ivar possibility restrictiveness ordering.
Typecheck Expressions - Tweak with ivar possibility restrictiveness ordering.

thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc