Compress boolean constants after evaluation

Close #137