René

Non-breaking reafactoring changes, with one bug fixed

1

This PR includes several improvements with no breaking changes: **Refactorings:** Merged duplicate guard utility functions Added runtime type assertions in type system constructors for better error detection Split generic types...