more known value type options
learn values from const_i* ops