:Propositional instead of :Proposition in term walking.
Terms which already exist, but are re-built with a specified type are adjusted from their existing type, not the type of the caseframe they are instances of.