oh, ie, we move towards the model of having mostly...
# general
f
oh, ie, we move towards the model of having mostly one type of Node. So intrinsics are a rule type but not a node type