tests and let and letstar partially implemented