Removed unsued interfaces
Split UnaryExpression into Not/NegateExpression
Enforced correct usage of Definition
Gave cooler definition-interface to some AST-nodes
Updated type system to manage Namespaces
Completed type analysis (tests will follow tomorrow)