Added anonymous variable term. Fixed the types of many of the arguments of normal laws.