Added two new counter modules.

SystemCounter is a system wide non-extensional record.

AppCounter is a type class for a user defined counter data structure.