Modern HOL4 surface syntax

Document moved here: HOL4 Guidebook: “Modern” Surface Syntax