Implement syntactic scopes: (|A B| ...)