[core] Modify quake.subveq such that it folds constant arguments.

[core] Modify quake.subveq such that it folds constant arguments. #709