niya nodes - the abstraction machine