*Compiles with Warnings*: Rename KindPi and KindLambda to Val/Type, and use the same in records