Implement interpretation of TypeNodes as Types

Merged Edgar Onghena requested to merge edgar/type-node-type into main

Merge request reports