design work towards embedding ad-hoc literal objects
enabling rich extension of literal types (assuming a flexible IDE)
reserved 〚〛for this embedding in AO