A compiler for the academic language Ramsey