Functioning without Closure: Type-Safe Customized Function Representations for Standard ML