Gradual and Runtime Typing