Moved AST anaysis to its own module. KData goes in there aswell.
Removed KData and replaced it with type Parameters. Moved nub'ing to Analysis (from GenOCL).