Add type checking rules for statements