Inferring annotated types for inter-procedural register allocation with constructor flattening