Add Typing rules for Concat and Output