SuReal which produces possible outputs
assorted bug fixes on sureal
added module receive
helper function 'or' and 'but' rule
merge and-rule
name correction
integrate with SuReal and cleanup + documentation