A multivalued language with a dependent type system. (A precursor to Epic Verse [pdf]