New diagnostics in absorbed foreign keys
Use 'where' for derived fact type
Added SeparateSubtype test examples