Shortened almost without looking at the other approach
A factorial function should be of type Int -> Int
We use the parameter without conversion
Simplified functions by splitting them into smaller parts but leaving signature
Outsourced negation unit
Outsourced powers
Outsourced even more
We can outsource even more: The factor calculation
Outsourced fraction calulation
generic Element function added
Use the generic function in here, please
Reordered, added comments
I think these parts are simple enough to be included in the generic helper
Fixed comment
Merge branch 'fix-tsincos'