Add specs for untaints and taint queries

They're not particularly thorough, but they sound pretty enterprise.