Null maps, null types and null type families (#1088)

Null maps, null types and null type families (#1088) #524