ML functions continued

Known issues with Topics and Types