Parameterized Atom, Prompt, Step, Datalog, Query, etc. on a table specification type