Operands as annotated functions for JavaScript (MIT)