Changed to export SSym and SNat

`SSym` and `SNat` is currently not exported so we can't make any use of `sError` or comparison with type-level natural. So I changed to export both from `Data.Singletons.TypeLits` module.