fix rendering of metafunctions that use ∪, ∨, etc in the range contract
Add TR tooltips for type errors as well.

Adjust type tooltips to only show if there isn't a type
error on that syntax location.
update the redex unix bitmap expected results for recent change
Add %F to drracket desktop file