symbols are undetermined when created with ce. the functions themselves constraint the symbols. For example + sets its type to number