Added tag primitive.
Got clausify benchmark to work.