Starting to work on the Typechecker! Built a Generic and Static Environment!