Stricter comparison of inferred+declared arguments on assembling

Implements #47