Beta-reduces a call to fn with arguments argSyms or returns tree
fn
argSyms
tree
Beta-reduces a call to ddef with arguments argSyms
ddef