reorganize spec/ (everything second level)
implement "set f.a: x"
implement "make [t]sum"
implement "make [t]vsum"