let mk_free i = Bound(i)