Discuss the theoretical impact of introducing a 'null' or 'nil' value into type systems. Analyze Tony Hoare's 'billion-dollar mistake' concept from a theoretical perspective: does the presence of a bottom type representing 'nothing' break algebraic data types? Compare this with option types or monads (like Maybe) that explicitly handle absence without breaking type safety.