std.cfg: configure standard types