Added Haskell library with syntactic restriction for local specifications