Export toTyCon and fromTyCon
Merge branch 'v2' of https://github.com/nick8325/quickspec into v2