Split the grammar in various modules.
[WIP] start work on host-independent constraint language.