Fixed a typo reported by Jona; added one more exercise for System-F