Documentation of simple rules for type checking assignments