removed ~pred and ~ret in type inference, since
we use variables as return type;
bugfix in HOTerm.mk_at