Typing: Hardcoded types of the built-ins (ugly code!)