update copyright notice to 2013
fix: TypeSynonymInstances required for GHC 7.0.4