The Higher-ORder INtermediate representation