Added deriving's syntax lib