Fty::deftypes: Allow deflist/defalist with already-defined predicates
VL: fix bonehead scopestack performance bug; improve certification time of a couple critical books