substitute v t'' (TEArrow t t') = TEArrow (substitute v t'' t)
                                          (substitute v t'' t')
substitute v t'' (TEArrow t t') = TEArrow (substitute v t'' t)
                                          (substitute v t'' t')
substitute v t'' (TEArrow t t') = TEArrow (substitute v t'' t)
                                          (substitute v t'' t')