added sanyukt-akshar, some types and implicits