Added Scope.prefixOption, NodeBuilder.allDeclarationsAreAtTopLevel, and edited documentation