Assignment 1
Write a relation between integers 0..N-1 and 0..M-1. If N and M are known at compile time, the template class should know te numbers at compile time. The class should have the following features
- .from() - returns N, if posible, should be decided at compile time
- .to() - returns M, if posible, should be decided at compile time
- .has(x, y) - Finds out if an element is in the relation
- * - composition, if it is known at compile time, that relation types do not match, we should get compilation error
- | - union
- & - intersection
- should allow iteration