v3_kernel: Eliminate the remaining uses of sets and dict
v3_kernel: Eliminate the remaining uses of sets and dict

While at it, also correct a few comments, and refactor some
map matching optimizations.

mikpe/otp,kvakvs/otp,isvilen/otp,rlipscombe/otp,erlang/otp,vinoski/otp,mikpe/otp,emacsmirror/erlang,mikpe/otp,rlipscombe/otp,getong/otp,bjorng/otp,dgud/otp,isvilen/otp,dumbbell/otp,lrascao/otp,uabboli/otp,vinoski/otp,uabboli/otp,emacsmirror/erlang,bjorng/otp,rlipscombe/otp,rlipscombe/otp,jj1bdx/otp,potatosalad/otp,g-andrade/otp,bjorng/otp,vinoski/otp,vladdu/otp,uabboli/otp,jj1bdx/otp,rlipscombe/otp,ferd/otp,kvakvs/otp,dgud/otp,isvilen/otp,kvakvs/otp,g-andrade/otp,uabboli/otp,dgud/otp,vladdu/otp,getong/otp,vladdu/otp,emacsmirror/erlang,lrascao/otp,dgud/otp,vladdu/otp,g-andrade/otp,vladdu/otp,uabboli/otp,lrascao/otp,erlang/otp,electricimp/otp,kvakvs/otp,electricimp/otp,electricimp/otp,dumbbell/otp,vladdu/otp,erlang/otp,ferd/otp,isvilen/otp,isvilen/otp,potatosalad/otp,dgud/otp,bjorng/otp,potatosalad/otp,ferd/otp,vinoski/otp,rlipscombe/otp,lrascao/otp,vinoski/otp,bjorng/otp,dumbbell/otp,potatosalad/otp,kvakvs/otp,erlang/otp,emacsmirror/erlang,getong/otp,emacsmirror/erlang,rlipscombe/otp,kvakvs/otp,jj1bdx/otp,getong/otp,ferd/otp,mikpe/otp,erlang/otp,lrascao/otp,bjorng/otp,mikpe/otp,electricimp/otp,electricimp/otp,mikpe/otp,dumbbell/otp,getong/otp,isvilen/otp,jj1bdx/otp,mikpe/otp,emacsmirror/erlang,rlipscombe/otp,bjorng/otp,ferd/otp,bjorng/otp,isvilen/otp,dgud/otp,isvilen/otp,electricimp/otp,getong/otp,getong/otp,kvakvs/otp,dgud/otp,rlipscombe/otp,emacsmirror/erlang,vinoski/otp,vinoski/otp,g-andrade/otp,dumbbell/otp,electricimp/otp,vladdu/otp,g-andrade/otp,vinoski/otp,erlang/otp,uabboli/otp,uabboli/otp,bjorng/otp,lrascao/otp,ferd/otp,potatosalad/otp,isvilen/otp,dumbbell/otp,jj1bdx/otp,jj1bdx/otp,dumbbell/otp,lrascao/otp,emacsmirror/erlang,mikpe/otp,g-andrade/otp,vinoski/otp,ferd/otp,jj1bdx/otp,emacsmirror/erlang,erlang/otp,vladdu/otp,mikpe/otp,uabboli/otp,g-andrade/otp,dgud/otp,dumbbell/otp,potatosalad/otp,jj1bdx/otp,getong/otp,erlang/otp,g-andrade/otp,potatosalad/otp,rlipscombe/otp,jj1bdx/otp,g-andrade/otp,kvakvs/otp,dgud/otp,erlang/otp,lrascao/otp,g-andrade/otp,vinoski/otp,kvakvs/otp,electricimp/otp,getong/otp,vladdu/otp,isvilen/otp,uabboli/otp,potatosalad/otp,potatosalad/otp,jj1bdx/otp,bjorng/otp,dgud/otp,ferd/otp,erlang/otp,potatosalad/otp,dumbbell/otp,emacsmirror/erlang,getong/otp,dumbbell/otp,ferd/otp,electricimp/otp,mikpe/otp,lrascao/otp