Towards dynamic infix operators

Also:
- Merge Parser back into Prolog unit (operators need a scope!)
- Handle ':-' and ',' in the standard way
Update README
Update initial.pl to use standard form
Stub out a unit test