Kth Constant
Constant token to be included in a KthModule or KthContext and used in an expression.
A constant simply gets replaced by its value during the evaluation of an expression.
Constants can be built using the helper functions createConstant and asConstant.