Introducing Type Guard to Steep

Type Safety