Insert [var]:<type>. <prop> (but reverse direction)

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html