Bootstrap: nilable type, after type inference transformer, not nil filter...
Bootstrap: added some Char primitives. Support recursive types.