feat(library/coercion): improve get_user_coercions API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>