(WIP) Clarify that interface/abstract method signatures do not need to match

Concrete method signatures can provide additional arguments provided they all have default values. See http://3v4l.org/dKFjC

(Unless I'm missing something) this seems like a big discrepancy between the docs/spec and the implementations.