Refactor
- LaneManger is in charge of controlling traffic, use Constraint to move vehicles
- Add TODOs