added let and found/fixed bug with type-inference in freestanding expression-block