System FC with Explicit Kind Equality - CIS @ UPenn