Merge pull request #62 from KrzysiekJ/noshrink-type-fix

Fix type definition of triq_dom:domrec/1