vocabulary SimplestUnary;

/*

* Value Types
*/

Some String is written as String;

/*

* Fact Types
*/

Some String is long;