Quilt: A little more syntax

The language permits the let...in... statement which allows us to define labels for quilts and use them in expressions

b

c

Even more syntax makes things easier...