Add type predicates such as char?/boolean?/procedure?/vector?/etc.
Currently no numerical predicates (number?) because implementing a
fixmum/flonum combination test is going to take more effort than I feel
like investing now.
Underscores to dashes.