add missing doctests to the testsuite

the doctests were implemented, but they were not run automatically by
"cabal test".