Add runTrace
Use Seq; add ErrorTrace type