Factor common idioms to macro, introduce p!-symbols