[Agda] Type a = Set a

[Sergei Meshveliani]

People,
I consider renaming `Set' to `Type' this way:  

  Type : (a : Level) → Set (suc a)
  Type a = Set a

The idea is to write `Type' everywhere instead of `Set'.
Will this work all right? 

Thanks,

------
Sergei