STK implements all the types defined as mandatory in R4RS. However, complex numbers and rational numbers (which are defined but not required in R4RS) are not implemented. The lack of these types implies that some functions of R4RS are not defined.
Some types which are not defined in R4RS are implemented in STK. Those types are listed below: