Dominic: type assistance for confused Javas