Improve generalize

Use type variables (a,b,c,...) instead of (t0, t1, t2, ...)
Remove warnings
Add pair
Print letrec definitions
Add library (stdlib.txt)