A toy language that compiles down to HMMM