I have recently started with a new government employer, and they offer a good 401k match. They also offer a 457 plan that I am not familiar with. I want to maximize my opportunities. Could someone inform me if I should enroll, and whether to invest pretax or Roth?