updated FUN slightly, and added type inference exercise
added README for lesson_9.5 of types