Add very simple row inference

This inference is very bad in terms of the cases it
can handle (1 argument, 1 row variable) but it turns
out it's sufficient for most of the mixins in Racket.
Should be extended some day.