Added DataKinds pragma (required by GHC 7.6.2).
s/SimpleLens/Lens'/, following deprecation.