[WIP] Improve lazy proxy typing #16

Draft

thepaperpilot wants to merge 4 commits from fix/lazy-proxy-typing into main

pull from: fix/lazy-proxy-typing

merge into: profectus:main

profectus:main

profectus:feat/ure-rewrite

profectus:pages

profectus:ducdat0507/patch-1

profectus:feature/requirements-refactor

profectus:jakub791/main

profectus:gh-pages

Conversation 0 Commits 4 Files changed 4 +168 -133

4 commits

Author	SHA1	Message	Date
thepaperpilot	2f8c37d730	Fix bug with estimateTime not showing "Never" when it should	2023-04-27 22:49:27 -05:00
thepaperpilot	a8c550c551	Re-order some things	2023-04-26 20:28:01 -05:00
thepaperpilot	cf069cee61	Update PoC	2023-04-26 20:19:14 -05:00
thepaperpilot	c39982b1bc	Attempted to remove some type casts from lazy proxies	2023-04-24 23:39:14 -05:00