Fix type in Aspects
Start writing about Compels

This section will need a lot of work; perhaps an entire rewrite. But
it's good enough for now and lets us move on.