Extend literal examples
Add/use InputTT.mk* helper functions