Write evaluate function

evaluate :: Expression -> State -> .NET Object