Convert module parse-trees to Elab$ast_top values.
Rework handling of semicolons in declarations.

This will make handling them in the REPL easier.