My toy denotational semantic implementation in ML.