normally in a Free program the main ops correspond...
# arrow
r
normally in a Free program the main ops corresponding to the biz logic are the DSL or ADT nodes