Give strong types to tup and rel creation, also give strong types to dotExp