make lookups and constraint `final`