Higher derivative theories with constraints: exorcising Ostrogradski's ghost | Synapse