Allow shorthand for data/record declarations.

Like you'd expect:

    data List (A : Set) : Set where
      nil : List A
      cons : A -> List A -> List A