implemented Let with more tests