generalising subscripts.

Subscripts can now be any element of the type class Subscript. This
makes it possible to use suff like `variable "x" 5 body` instead of
the more complicated `variable "x" [5] body`.