Added typechecking of default arguments
spelling
stuff