Complete 5.1 code
Add proper test files; To invocate a test to a specific question, one should execute it like this: sml ex5-aux.sml ex5-<question>.sml ex5-tests.sml ex5-<question>-tests.sml