Part of university project: implementing a functional language with call-by-value evaluation, using the k framework.