moved tinman lib files to stdlib module