Import data types using import keyword, fix prelude, fix some errors when unifying types across modules.