A strong type system for R