logic evaluator and Joy prog lang interpreter