consistency
Consistency change which matters when extending calc. Update test.
STLC with booleans: true, false, if