Reduction rule for Constract.
Unfortunately I haven't found a way to share the computation which offers the
A, it has to be recomputed for each alias. This is not what we hoped for when
designing the Abstract Machine. But it is consistent with Wadler's semantics.
Merge branch 'master' of https://github.com/jyp/LL