Added a function to define literals which must be hypothesized.