class Sequent::Internal::CommandType