more fixes to commands and the call by value embedding into F_eff (for
uniformity with functions, commands are actually thunks in Frank)