Deleting datatype checks no longer needed (with a view of making search_expression_type_c redundant).

Start adding support for data type checking of enums.

Remove comment no longer valid since introduction of constant folding.

Add some comments.