Finished Type Checking Need to Print