Merge branch 'origin/sdf'
Merge branch 'origin/test'
Added seq-left-identity refinement law.
Added sequential composition to pretty printer.
Merge remote-tracking branch 'origin/ahm' into sdf