recompiled courses
fixed some stuff and found a bug in TypeConstrained patterns while writing a doc example