- Implemented fptrKnown flag in ValType