;;; Hey, emacs(1), this is -*- Mode: TDL; Coding: utf-8; -*- got it?

e :+
[ PSVTYPE psvtype, STATIVE luk, BOUNDED luk ].

psvtype := top.
passive := psvtype.
periph := passive.
morph := passive.
ptc := passive.
active := psvtype.