Test for type documentation

Also, a few extra lines in the types_and_specs fixture to avoid generating a
warning upon compile.