begin a library for optimizations like constant folding or no-op removal