Stav dette: Neurosymbolic Programming in Scallop: Design, Implementation, and Applications