Type annotations and conversions