Deakstadieđáhus: A categorial grammar of Spanish auxiliary chains