Added type rule for simple method invocation.
Added type rules for names.