Push type-checking of methods into function def type checker
Add note on functions in README.rst
Check that methods have at least one argument