Check #8b

Completed constant folding for arithmetic and boolean