Adding parser/pretty print support for Link.

Also update QuickCheck tests.