fixed bug in typechecking let action