Combinatorics of the $ \widehat{\mathfrak{sl}}_2 $ spaces of coinvariants: loop Heisenberg modules and recursion