reworked interfaces to as_expr, make_expr and unpack_expr. arity_of moves into result_of namespace.