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