ok implemented most of the typing rules

Created by  Michael Zhang  on November 2, 2023
FFWDQXFKZDMVCZ4SY4IZS3UTP3LZKQ7N3WZN3WCX6HMT2JFHLV7QC
Change contents