Make lower/upper bounds standalone modules. FML.