bsc

Update testsuite after proviso changes in FixedPoint

Improve provisos on FixedPoint function epsilon

Improve provisos in FixedPoint package.

Fixes to typecheck of struct update/literal/pattern

Add missing features to the {-# properties foo = {...} #-} syntax in Classic (#626)