Further refined type checking; updated showHelp; added list command