Added the homework exercises for System-F