Get prelude added in all cases.
Add type annotations to more library files.