The Tlaloc K2 compiler plugin: it rewrites grad { } into synthesized gradient code at compile time and turns shape and differentiability misuse into compile errors.