Added STypesig back into sast.ml, as we need to be able to check if an identifier has had multiple type specifications in the same scope
Added a few cases to type signatures with comments describing my choices; added a success test for type signatures