stricter branch argument count matching
stricter branch argument count matching

previously, invoking a method with multiple branches with varying arg size
could result in a branch with N arguments matching a call with N+1.

for example:

  foo(0) := 1
  foo := 2
  foo(1) -- 2

this will now result in a pattern mismatch

vito/atomy,vito/atomy