worked on typechecking for fix and let