made changes
Moved coverfactor to the type level