inference with IxMap implemented (no exists)

Of course not tested but type checks ...
Currently only support variable indicies (no constraints on input)
and not handling existential variables introduced by the pattern
just pusing