Operations need documentation

[tilois]

I learned from #50 that there is some kind of operation possible on variables of the kind. That leaves me more puzzled than it was enlightening to me as I could not find documentation for this here: http://www.integrity-tf.org/docs/tutorials/tutorial2.

That leaves me with the following questions:

• What kind of types with which restrictions does Integrity know?
• What kind of operators (read: methods) are possible for each of them?
• How can one define custom operator for a type? How are they reflected on the JVM or how are they passed to Fixtures on the JVM (Java).
• Is there any kind of relationship between those types (e.g. inheritance)?
• Are custom operations scoped or are they globally applied to the types?
• What are the exact syntactical conditions to use them. What is an literal with an operator applied to it in contrast to say a plain literal. Is one.toLowercase actually "one".toLowercase() or "one.toLowercase"?

Possibly more things one should know about operators, but I never dared to ask?
My very first impression: Feels like pandora's boxed which just opened...