Adding some tests for type checking of type member