A Behavioral Type Inference System for Compositional System-on-Chip Design