Expose the k-contexts for object-sensitivity

See #71.
First attempt at trying to check for fresh variables

This is not working yet but I want to commit a version for posterity.

See #71.