Look in all generals when resolving the prototype formal, not just the
extension.  Fixes #435.