grcqt-model: types WIP