let first subst : binding = match subst with | binding :: _ -> binding | [] -> failwith "Subst.first"