make SingleLogicalResult a sugar expression, simplifying Vector along the way
rm some SingleLogicalResult code until better impl
rm some SingleLogicalResult code until better impl