Testing and NFA accepting

Union is kinda fucked up, but it was when originally pulled the code in, so there's that...