extern type int;
extern type string;

extern type bool;
extern val false : bool;
extern val true : bool;