atm: ok
bound_var: ok
in_list: ok
int: ok
lit: ok
nested: ok
via_var: ok
distinct: ok
shared: ok
goal_var: ok