explicit about branching and allocations, not so for types. we've recently got .decl() syntax, which is even more implicit than .{}