ported GREXP (dataviewtype) functions to typecheck in ATS2