arg/3 can now enumerate arguments
Can now specify KB in assert/1
Added array and topological_sort predicates
Optimized searches of kind hierarchy
Fixed typing of expressions with is_a constructions
"what" now types as entity.
Backed off on randomization of np//5

It produces weird results for generation
Misc mods