Added more prism modules.
FCFSextendedclient: Typo.
AIntroductoryProblems: \TS as a PRISM module.