I think that I got * working. It's jank. It's messy. But it seems to be working.
+ should now be working. It is basically just * without one epsilon transition.