core: make existentials kinded, and suppress more type apps in flow tests
core flow: suppress type apps from more tests
core flow: accept test wibbles