Add InstDeclTopType subclasses and JSON Deserializer.