Fix subtyping for Negative-Single-Flonum.
Filters for comparisons with inifinity.
Add examples of function types with keyword arguments.