Add more min/max primitive patterns
Inner type propagation for and/or