Also,
 * give an error for the currently unsupported fixed arguments
   (not useful until you can use them to distinguish multi-bodied
   functions and .scopes)
 * handle errors in prototype instantiation in parallel so I don't
   lose functionality in the next step.