Make tests work from Jakefile
Add an example of teoria in use