Implement ADT framework#22

kanwren wants to merge 11 commits intochessai:masterchessai/nix-std:masterfrom

kanwren:adtkanwren/nix-std:adtCopy head branch name to clipboard