corollary typable_empty => closed, copied