check for ==
for @FroMage
fix bug in type arg inference for recursive generic function calls
found by John Vasileff
Merge branch 'master' into inline