Complexity system #6
Description
We want some exotic additonal types, but they shouldn't affect the generation a lot: they are mostly for proving that the input code has properties.
A Complexity type system might be very hard to do, but we can still experiment with a limited version of it. After all we will define a relatively simple