added exit function so that the program can be halted at will by developers
model now executes queries and then returns the future with the results