got Dan to fix bug in type checker check(return) method