fix `read-syntax' on a vector with a size and no given elements

Closes PR 13720
scribble/manual: make `defmodule' more flexible
use new `defmodule' in the Reference notation section