Break up the FS Spec into specific chapters, parsing properly, improving notation and FS model