Each module now has a list of types, which is built automatically