Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)