fixing bugs and types in exercises and lectures