let expr and typing added