task 17: forbid use of primite types in judgments, rules and aux
functions 

https://github.com/LorenzoBettini/xsemantics/issues/issue/17

Fixes #17

Change-Id: I5c485922aae66ccddc29250bf49b323e711265f6