Make ConcreteTypes() a method of OptionType.