A first pass at a structural type assertion