Implement let polymorphism

let rec polymorphism is NOT implemented
W6-Adv1