Horrid toy language implemented in SML