Oh man, I've dreamed about something along these lines too. I'd kill for algebraic data types, including option types instead of weird ternary logic for nulls.