JavaScript function and operator lifting library for higher-level programming