vocabulary SimplestUnary;

/*
 * Value Types
 */
Some String is written as String;

/*
 * Fact Types
 */
Some String is long;