My set of Core Libraries for Standard ML