So much work done so far!

Main reason for this commit is to push up a tool that extracts rules
composed of a translation between single content words. All the
framework needed to make that happen is here - types, logic
representations, format conversions, etc.