Strong type system for R
