refactor(check): Generate more straightforward code for subsumption
refactor(check): Generate more straightforward code for subsumption

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