WIP: new int-only fact schema
WIP: new toGhilbert with query test