Provide more exhaustive list of types for code gen
Add initial stubs for literals