disentagled type_spec by adding type_qualifier.  Split analysis pass into structure and types passes. Many changes ensued.