rename Literal->Constant since 'literal' has a clashing meaning in logic