added test for Arrow.first
Arrow instance of SF now extends Choice