Adds the Core31.Types compatibility module.