Description: Abstract builder restricted to another restricted abstract builder with implicit substitution. (Contributed by AV, 2-Aug-2022) Avoid ax-10 and ax-11 . (Revised by Gino Giotto, 20-Aug-2023)