Test: Factor T1 to a file in t/lib
Factor out T2 into its own file
Factor out matchable util test