Type-Checking, Continue Implementation 01