model: precise contracts for `lookup_*_definition?`