Yes, I pay rent but I also want a glowing tomato and a crystal hotdog. It's called balance.

The compiler infers, but does not take instructions. There is no syntax for explicit type declarations yet, and the new type ...