A+ compat fix. Now passes all A+ tests! Fixes #38 but we're incorrectly squelching the AlreadyResolved error.