[re-format] struct-printing helper and lazy cons macro