removed semiring from label
added function classes
added copy method
made parameter of label type
made parameter of label type
added satisfiable method, but not yet implemented
updated tests to use parameterized label