fixed a bug in MetaK.isUnifiable; added comments
some refactoring to clean up KItem
fixed failing test by using regex to match result