pts-to: get rid of functional crap

Apply rules directly instead. It makes the code *much* more readable.

It also allows to get rid of Rules and RuleFunction classes.
pts-to: little cleanup

We do not need two functions to compute a fix-point. Get rid of one.