Reexport from PTS.Syntax explicitly and by name.

Benefits of explicit reexports: The haddock documentation mentions
all exported binding, we can structure the haddock documentation,
and we can reexport only a subset of the imported bindings.