Implement get_args()

@pbrady, this is the C++ support for `args`.

TODO:

* [ ] expose it in Python
Sorry my mistake, `args` of a number is null, so this is okay.