Clean up unit tests #85
Description
We are currently over-testing invoke inside discriminated union (by testing the same full set of functions inside sum, and also a part of it in choice). There are probably other parts that we over-test, while at the same time we do not have tests for several template functions. We also do not follow consistent test coverage for different functors.