Improved FabObject type heirarchy. Improved traversal step type restrictions.