Type systems for computer algebra | lit.salon