Add SubDot trait and basic implementations.