add stm examples, tweak primes and barber examples