Added simple type checking tests