added associativity of +
added multiplication
coproduct type added
added the identity function
added the iterate function
added pointed types.
symbolic names of levels up to 9 exported
simplify short hands for pointed types using symbolic levels
ignore file generated by agda compiler