Add basic evaluator spec
Remove dead code
Remove broken evaluator
Add new logic for variable inlining