type in let expression, first test