Analyze the introduction of null references by Tony Hoare as a flaw in type systems. Discuss the theoretical issues null introduces, such as violation of type safety and the need for pervasive runtime checks. Compare this with theoretical alternatives such as the Option/Maybe type pattern found in functional programming which handles absence explicitly through the type system.