type x is int

[Broes De Cat]

A line "type x is int" in a vocabulary results in a type x and two atoms, is and int. As it results in larger vocabulary (more unused symbols), this bug is difficult to find. This should either throw an error (if we do not allow to define multiple types on the same line) or add the types x, is and int (which would at least be more logical).

[Broes De Cat]

fixes #104

Newline is mandatory after any construct in the vocabulary.

→ 17200decd16e