Added a rule for function (method) calls
Added support for methods in types

I decided to use methods instead of functions. One of the benefits is that the
backend implementation will be quite simple
Type->lookup()
FunctionCall -> MethodCall
Added type documentation