let mk_const c =
    App(c, [], Sym.hash c)