- sorts and grammar model implementation