Finitary Substructure Languages.