add QuickPersistent, QuickIntuitionistic classes

2 jobs for !842 with ralf/make in 10 minutes and 26 seconds (queued for 2 seconds)
latest merge request