Add bare bones `localExpand`

This is a simple implementation of local expansion. It currently does not support stop lists, but fully expands the syntax given to it. I wanted to get something in we can experiment with so we can figure out how best to implement stop lists/patterns.

Does the hygiene look correct?