#include --------------- -- builtins --- --------------- defn char : prop -- builtin defn string : prop as list char