provisional type checker