Add fixities for operators and add lower
Coerce and cast