some stuff is done, we still have constantexpr simplification to do.