IniFileProvider generates proper types