Add helper functions to LocalCompiler

* Action.is_id
* Action.is_drop
Add cases to Local.of_policy for HeisenKAT

- Link
- PushVlan
- PopVlan
Kleene star bugfix

Track iterated policy and accumulator separately.
Remove redundant Atom normalization
Rename helper function for sequential composition.