Remove fix note (not an issue anymore)
Rename main DynSem module
fix syntax error
Add cast functions for empty lists (workaround). Change 'internal-sorts' to sorts (workaround).