Notes for variants for objects
Added notes for variants of rules
Added notes for variants of computing step
Notes for actual problems
Combination of variants, new variants with notes
Inspirations from other formalisms with notes
Removed bibliography