* completed tests for KIF
* Added unify module tests
* Shifted core VariableMap to StrVarMap
* shifted DGraph inside namespace core
* shifted ErrorType inside namespace core
* libgdl namespace cleanup
* shifted most of the data types inside core