Fixing kif parsing of propositions and relations.
Getting rid of isa
Optimizing grounded queries.
Comments instead of couts
Refactoring into kif module.
Refactoring kif api.