Static predicate rewriting pipeline for libraries

[G3Kappa]

Waiting on #10

The idea here is to to define the predicate transformations required by some libraries, such as the one that will contain the tabling logic, within the libraries themselves.

This is similar to expansions, but it happens on the C# side.

[G3Kappa]

Closed by #42