Intermediate Language Features

Building on the basics of Y, you can use more advanced language features of Y.