Review method - prepare type checker based on type synthesis an expected types