added operations to type checking