finished type checker, now need to do testing