sig poplmark-1a.

kind     ty              type.

type     top             ty.
type     arrow           ty -> ty -> ty.
type     all             ty -> (ty -> ty) -> ty.

type     sub, bound      ty -> ty -> o.
