app: cosmetics
dflow: more dataflow consistency checks (type, in/out)