avoiding duplicate parsing while adding inductive types
avoiding duplicate parsing while adding inductive types

Some clean up, using Task.gather to parallelize and clean parseVec etc;
should clean up getRec and friends
siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround