Finished tying up loose ends- N_LET_EXPR has a type now