Constructive $D$-module Theory with \textsc{Singular}