Add TypeRule