make upgrade/downgrade work for fusion sequences. New design, upgrade/do...

...wngrade aren't extension points anymore, but rather model_of is correctly defined to do 'the right thing', i.e. keeping the same register size. There might be compile-time overhead fixable by a smarter implementation or factorization with vector_of.