Renamed expand to expand-pattern, since expand is an extant racket
procedure. Give a message when a macro fails to expand.
Use prop:procedure for annotated functions (a *much* cleaner approach
than before); bug fixes.