Documentation update.  Also expose a few more operations from Data.AIG.Operations.