(feat) Introduce error bound for downcasting.