Jeffrey Stylos

This addresses #32 and (partially) #21, adding support for the [*] operator. This doesn't need a direction arrow because only one side can be unconstrained, so we can infer which...