[FEATURE] User defined type wildcard constructors

[kurtlawrence]

Description

A constructor system for user defined types which sets certain fields and uses value to set the rest (based on field names)

• Similar to Rust's struct constructor syntax ..remaining
• Make more flexible to match remaining field names, not just a type, this means a different type could be passed through (for example, different sized tuples)