Better algorithms Property integration

Currently Property passing between the framework and algorithms is based around std::any. This is not optimal as the type erasure makes automizing framework class generation almost impossible. I propose to use std::variant instead. There are of course drawbacks (more limited), but those aren't IMO that important:

• people shouldn't be passing tons of data into a Property anyway
• the current std::any interface is a little fragile against people specifying the wrong type in one of the places (fragile as in runtime errors). It's probably better to have explicit compiler errors in case there are inconsistencies