useful  ghci settings
update module test cases

so that they don't crash the test suite
use separator for Imports, added Clafer, Constraint, SoftConstraint, Goal as entry points