Add more constraint checking to model reconciliation spec and improve type safety in associations

[Rotorsoft]

Description

This is an ongoing task to fully reconcile the model with migrations

Project Owner

@Rotorsoft

Engineering Requirements

• Check update and delete rules in FKs
• Type check associations
• One-to-one utility to define associations