DSLX: Locally-scoped types

[RobSpringer]

Being able to do something like fn foo(...) -> ... { type LocalType = uN[...]; let x = LocalType:Y; ... }

Would be handy.