[Made the code build using a recent version of Agda.
Nils Anders Danielsson <nils.anders.danielsson@gmail.com>**20161208093055
 Ignore-this: 3bb21beefb714388dcc11aa5594c2f59
] hunk ./CBS.agda 119
+  inductive