Evaluation strategy improved, made turing-complete