Loop (([Fun "0" [Fun "q0" [Fun "h" [Var "x"]]]],((More "0" [] Hole []),[(Var "x",Var "x")])))