streamline empty Put creation
add Put#width
replace ArtDecomp.width_of(put) calls with Put#width
simplify Put#width spec