A strong type system for R which supports symbol declaration and assignment with type checking and condition checking.
