fixing bug related to subtyping of nested refinement type abbreviations
adding sig.fst to the regression test suite