Introduce new macros for type conversion/verification
Convert types instead of throwing exceptions