I'd add the pattern matching syntax. it's so natural for a mathematician.