remove generic parameter from abstract class MonotoneFW; it seems like we are not implementing dataflow analyses besides the ones that use Id anyway
change references for existing dataflow analyses