Use integer instead of naturals

[Kalashnikovni]

Currently we use long long unsigned int to represent elements of sets. This is problematic, because we allow negative expressions, so types are mixed and narrowing takes place. So we will substitute NAT directly with INT.