fix type erasure terminology