Push down contexts into instance heads. Fixes #7.

This change pushes the representation  closer to the representation suggested in #31, but under different names since Asst is still used.