let is_free = function Bound _ -> true | _ -> false