[typing] Refactor handling of alpha conversion

Do not use two distinct undo stacks for taking care of which symbols are in use
at a given program point. Let `Alpha` manages everything internally.