A KIF sequence.
sequence::sequence sequence::~sequence sequence::hd sequence::tl sequence::seqlength sequence::changetail sequence::add sequence::freevariables
