I'm probably not using the correct term.  I mean we need make types like 'int' to ('int', 0).  There should probably be a method in the typesystem is_concrete_type or something.