Added bye primitive to command-line interface