Added substitution and cancellation tactics to Java.
Merge branch 'lambda' of
ssh://git@github.com/jesper-bengtson/MirrorCharge.git into lambda

Conflicts:
	MirrorCharge!/src/MirrorCharge/Imp/Syntax.v