Fixing some Keel mistakes
Add projects