Begining type checking