woops, forgot to export the closed type families I need to allow more interesting tree computations!