Pre-RFC: Function properties

Anyways, we have the need for unification and thereby an abstract effect system; Moreover, Rust is low level language, and we are notacibly constrained in implementation.

My bet is that we can extend labels to support at least our current effects. But anyways, effect system both needs and deserves its own primitives: they are to be developed yet.