test: Add simple ternary test, exps 15.
test: Add mismatched type ternary test 16.
semantic: Type ternary exps.
test: Add condition to bool ternary test exps 17.