By support for types, are you referring to srfi-9 or srfi-99? That stuff is trivial; I'd use lets + methods in s7, but r7rs.scm also has an implementation using vectors. I thought you were referring to typed variables like saying "int i" in C. You'd use a setter for that in s7.