CORE: add disj.
PARSER: enable options.loc, fix source locations in nodes.