make arrow HeadSize & TailSize Attributes

as Attributes, they can be defined in terms of Measure, and easily
converted to Output during rendering
add new module Diagrams.TwoD.Compile for rewriting RTree, to avoid
import loop