c(x) intro Design and Implementation of Programming Language with Generalized Sets, Types, and Functions as First-Class Values