adding functions as an ExprC to the core types, and values as a return