Generic cyclotomics

TODO: this file should contain information about generic cyclotomics: what these are, how to work with them; what is and isn't implemented.