added command-line display routines for finite and non-finite paradigms, by pname and by prop-val; cf. bin/README.md