Make types in `tuprolog.theory` pythonic

[gciatto]

• Make getters and setters properties in all public classes
• Support operator overloading for classes whose Kotlin counterpart supports operator overloading
• Add further methods for classes whose Kotlin counterpart comes with public extension methods