Changed cabal file to only require hmatrix version 13.
Changed running example to use forward-style types for the control system types.