add_arc, add_initial_state and add_final_state now take arbitrary types for the states and the latter two require weights too.