Implement a bunch of symbolic constant folding opportunities. This implements