Relational interpreter that explicitly represents errors, and can generate programs with specific errors - View it on GitHub