「元类型」

文件路径，（开始行，开始列），（结束行表，结束列）。

化（「列」于「表达式」）而化（「列」于「字符串」）而（「或可有」于（「列」于「表达式」））

TODO for bootstrap, no way to distinguish A & B & C and A & (B & C) 若匹配成功，则返回剩余输入