Fix test_expression to use real types.  Minor type fixes.
Use the parser for parsing @function argspecs.
Move the FATAL_UNDEFINED check into the AST.