Starting added typelevel representation of negative integers