update authors and maintainer
fix formatting and remove ord instance
update maintainer field
fix maintainer and portability
revise portability
revise version number
testing dependently typed data structures
revise metadata
revise metadata
revise metadata
revise abbreviate class parameterization and fix formatting