For IDB's we probably need to infer the type of each term, sort of like `create ... as` in sql