Forward Typing And Reverse Typing