Update AlgoW commit to get Val lenses
Remove Hole scope tags. Remove EntityId.augment and use EntityId.of{GetField,RecExtend}Tag instead
Add ExprLens._BRecExtend
Anim id translations must translate get-field tags, rec-extend tags, and param tags
Hole: consistentExprIds can be used on writtenExpr once we ignore alpha-renames in param ids for hole results as random gen seeds