But is the original problem a bug?
That is after installing the jar via REPO install t:new("aaa") fails although it works when added to lib/

​It’s not really bug, rather a restriction of repository modules (calling it a “feature” may be a bit too euphemistic ;): Repository modules must be imported, and they must have one constructor without arguments.