nat types, fin; avoid InclRep