ClauseType constructor

const ClauseType()