Update literal-generation tests

 * some more types can be generated as literals
 * others now have type annotations