Does not bind to variables in heads
Removed projections, a working generation of a single new fact
Honors truerules and newfacts