Added identifiers, broke constraints

Adding identifier handling turned out to be a one liner using built-in
Parsec identifier combinator. Attempted to add signed-number support to
constraints, but that ended up breaking the constraint system. Moved
TODO list from readme to issue tracker