get ready to handle "IS" in a special way
.
type promotion fo temporary values in expressions - first approach
type promotion in progress
type promotion in condition (IF)
.