Title: Type systems for computer algebra