Introduced separate constructors: DummyTopNode and DummyTopToken. Abandoned Maybe where possible.