bug fixing String and type inference