core: accept header decls in module in any order
core: parse arity pragmas in module headers
core tetra: use arities from interface files during tetra curry transform