added hspec test suite to language-salt
renamed `LInt` to `LNat`, to have a consistent naming scheme. (After all, the type of LInt was TNat)