exposed functors in Substs
more functions in Basic