WIP on unrestricted unions
Completed concrete/binop.yo
Added concrete/binop.yo
Adding binop template description to concrete/
preparing concrete section about binop function templates
Adapted binary assignment operator text
WIP
Added new tests to 'build examples'
Adding 'build examples' facility to check the compilability of the examples