Implement [[section]]

Clearly, we want look ahead, which would simplify the code a lot!