A type for assignments