Defines the "substitution" attribute for mathport

This has to be defined in a separate file.

opaque Lean.Attr.substAttr : Lean.TagAttribute