Continue to sketch out and elaborate on type rules