Tests for type stability

#102 accidentally introduced fields without type annotations. I'm fixing it right now but it would be good to add systematic checks for this