-type specs from Erlang need work. Note they are grammatically unlike -specs.
A more understandable snippet, inspired from LYSE.
forgot that when rebasing
Notation fixes in README. Namespace support in `type`. Rewrite type-specs rule.
Correct snippets and grammar with proper type-specs notation. Add some specials to Var lexer.
type-specs DONE
Merge pull request #28 from fenollp/type-specs

Type specs