Implementation of apply(), unify_mt<> and make_list()