Final major update to the Problem set

only syntax and formatting remain
P.S: Ask TA about inexact check-expects.