So there isn't really a plus to using types than just plain ol' variables?