Implements name and type and tests pass non-trivially