简写语法

我们包装了一些常用的简写语法，以便你可以能用更少的代码来定义类型。