Introducing Type Guard to Steep

Dynamic Typing