API additions towards enhancement #8 (pattern matching/object
decomposition).