Synth patterns and note patterns are in, and type check against eachother