Progress! DEF, IF, SELECT

+ most Racket inheritances (next commit will include the remaining
predicates)