typed: prevent TYPED: definitions without types.