Further C helper functions for managing/mangling capabilities in useful
ways (e.g., conveniently convert a pointer to a capability with
length/type), and assembly get and set functions (since the builtins are
no longer present).