Add occurs check to the kindchecker
Add occurs check to the kindchecker

This makes sure that we do not recur infinitely one some invalid types

Marwes/gluon,Marwes/embed_lang,Marwes/embed_lang,gluon-lang/gluon,Marwes/gluon,gluon-lang/gluon