Whitespace/formatting edits
Implicit constraint::Domain for a set of equations
Updated readme to match with code