Heavy Neutral Leptons & Non-Minimal Dark Sectors - Matheus Hostert (2020)