experiment with the removal of nullableset
I think it was an error to dedicate a type to LAL. I believe LAL should not exist as a static type, it should only be a dynamic property of being proper. But since that's costly to evaluate, we first need a cache for properties (see #96).
- We must not lose performances
- We should save many compilation cycles