Rename call-symbolic generator; add call-primitive