more renaming/simplification
more simplification
deletion
refactored SymbolicType into SymbolicObject[Type]