formalise graph construction
formalise graph construction
add @cross@ combinator. todo fix up constraint checking
add @cross@ combinator. todo fix up constraint checking
add fusion preventing constraint