working on path example still some more to fix

TODO fix bug and add kind polymorphism
preparation for kind polymorphism

Changed KCtx to hold kind schemes but kind polymophism not yet implemented.
fixed more kind polymorphism bugs

Still have to fix a bug for PLUS case in compile in path.mininax