introduced attribute types and automatic coercion