initial sml file w/core datatype and functions.