TODO

[lambduli]

[pull #35]

• fix the kind variable inconsistency in case of both type variables and constants - probably by fixing the parsing process
  but it's still necessary to understand the problem and make sure that there's no way new inconsistency can be introduced anywhere else into already consistent system
• fix the rename in Type.Evaluate - it supposedly only renames top level TyOps but ignores any nested ones, I am not sure whether that's intentional or if I was sure it can never happen, but it definitely needs to be inspected more closely