Add type inference in open-decls.