compiler.ml now seems to work, subject to minimal rigor of testing.