Collections!
Wiring of statements through the typechecker...