Your point 1 and 2 are the same

a - app + dependencies

Which will be duplicated for everything installed application, and redownloaded for every new version. Whereas flatpak and snappy shares the dependencies between applications.

s/f - flatpak run com.very.easy.to.remember.and.type.name

Snappy makes easily run command line shortcuts. Flatpak could use some improvements there though.