Keep track of prototyped foreign symbols across definitions
Print failed pattern match error messages to stderr
Verify that foreign symbols declared in multiple places have a consistent signature