Renamed ImplicitFactType to LinkFactType per FBM standard
Handle double contraction. Survive incomplete implied steps in elided objectification