Type conversion semi-implemented
modified:   Sysctrl/TODO.org
modified:   Sysctrl/src/Data/Sysctrl/Types/Internal/Automata.hs
modified:   Sysctrl/src/Sysctrl/Util.hs