Include type checking