Typecheck Expressions - Do a fuzzy check when looking at validity of ivar bounded possibilities.
Typecheck Expressions - Do a fuzzy check when looking at validity of ivar bounded possibilities.

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