Updated ToString() formats for all elements,

as per discussion in #53, they all now using the format string "[[{0}]] ({1})" where {0} = <underlying reflection element> and {1} = <short name of the element type>.