allow several mathematical notations for operators and types

Also allow and implement "not equals".
fix some warnings
implement rational exponentiation
implement remaining matrix operators via stdlib functions
add expression for absolute value and matrix determinant
provide error message on inconsistent matrix literals
rename determinant rule
add README