edit lecture: merge FlexibleContexts to FlexibleInstances