a) bug fixed for SBC, JUMP e JSR
b) medium_tests theorems ported to new pattern syntax
c) new test for a perfect number generator
d) "lambda-delifting" of let rec reverted (waiting for a better
implementation of simplify or for the new generation kernel)