changed name of numerical constant and added a method to load domain aliasses