Implemented conversion to SKI.
Implemented basic evaluator.