block_compiler puts in the extra, that we get out when resolving the type Thus block args work, though only by assuming direct call
from risc_value. also unite mock compilers