New semantics package

added Symbols and Types.
Some classes are incomplete and will contain compilation errors.