Backpedaling on Propogate typeclass
    * Doesn't really have any laws, probably shouldnt be typeclass
    * Moved propogate for Activator, Filter, Layer, Weights, Neuralnet
      to individual functions
    * Removed Propogate typeclass
Updated and organized some tests
    * Newtypes
        * Added Newtypes.Internal for accessing Norm and toNormType
    * Propogation
        * Derived Eq and Show instanes on PropDat(a/um) for testing
    * ActivatorSpec
        * Tweaked tests to use isTotal2 from TestUtils
    * FilterSpec
        * Same
    * Added Newtypes.Laws for inverse/norm-invariance laws for HasVec
      and HasMtx typeclasses
    * NewtypesSpec
        * Testing the above laws for types in Newtypes
    * Arbitrary
        * some additional instances (Jacobian, Norm, PropData)
    * TestUtils
        * Added test for monoid laws
    * PropogationSpec
        * Testing monoid laws for PropData