In operator

Addressing issue #21.

Adding flag `-e` that adds extra invariants in refinement types (for the moment just `keyIn` for object types).