Interpreting without bannisters? The abstraction problem afflicting the basic structure doctrine | Synapse