Finished expressions, statements, and full interpreter