Add additional type inference if type is not declared, and it can be inferred from domain or range.
Add additional type inference if type is not declared, and it can be inferred from domain or range.

dbs/linter,rayrc/linter,rayrc/linter,dbs/linter,structured-data/linter,dbs/linter,rayrc/linter,structured-data/linter,structured-data/linter