Mission San José y San Miguel de Aguayo: granary, restoration, half elevation of typical arch