add is_constant flag for expressions
check type and constness for when clauses
add string capability for case statement
add test for overlapping case