Did some more refactoring so that the solution compiles. Started on mapping VariableSymbol. To retrieve the type of a symbol/variable the Roslyn semantic model should be utilized which I try to do (at least for now) in the MiCSManager class. The mapping of VariableSymbol is not done at all.