Letrec and stuff
Fixed conflicts