unfinished new math libraries
further example/library modifications