It's normal for a programming language to have the ability to define types and create values of those types. Pkl is entirely conventional here.