Fixed typo in type annotation of cFromJust in StdLib.