Add astgen-zefram-defs.