Allow reuse of a prototype containing implicit arguments (fixes #52)