tdk: remove internal Algo module

This was used by the previous LocalCompiler implementation.
parser: use true/false in pred instead of */<none>

The previous syntax allowed for ambiguity in grammar. Consider the
following expression:

  (* and *) and ethSrc = 1

The *'s are meant to represent true, but combined with the leading and
trailing parentheses, they are parsed as a comment.
parser: allow 8-bit literals as vlan values
tdk: conform to new restric type

restrict now takes a list of variable assignment rather than a single
assignment.
tdk: optimize sequential composition (part 1)

In the case that you're sequentially composing an arbitrary policy with
an unguarded action, the operation reduces to sequencing of the Vlr.
This is because the unguarded action has no decision variables that can
be eliminated by the left-hand policy.
tdk: optimize sequential composition (part 2)

The branch case of the fold implements an if-then-else expression in the
Vlr. In the case that the true and false branches are equal, the
operation can just return the true branch and no further processing is
necessary.

This contributes a not insiginficant factor the performance improvement
of the compiler rewrite.
tdk: include the internal Repr module to define names