HHBC AST type substitutions for friendly C interop