Add a warning about implicit arguments in guidelines

As promised in !258 (merged)

Also added a paragraph about autogenerated names but I can put it in a separate PR if we think it's too orthogonal.