revert "removes Aux.TypeBounds"

This reverts af779038edac5801d56161e62caaec307df72d16