Changed the ACL2 program and the python interface to return the user's request type. fixes #3