Rename ```Set``` to ```Type```

[felixwellen]

Rename Set to Type in a similar way it is done in the cubical library.
This should be done at some point, since the name "Set" is very confusing in a homotopy type theory context.