Give a name to unused parameters on trait declarations.

Fix #16.