pisigma-0.1.0.1: examples/Unit.pi

Unit : Type;
Unit = { unit };