switched syntaxes so i might use it symmetrically between patterns,
terms and bindings later.