Add failing tests for type shortcuts
Add type shortcut functionality.
Use overload.types instead.
Fix docs