0.9.6.27: type inference from CHECK-TYPE