Updated Typhoon, fixed existing typecheck issues.