let empty = e_app0 mk_empty