For now give up on proteus and just let-bind all mutables before user code