More functions and translation

Added more functionality (closure, keys, superkeys and a different way
to write FDs) and the print statements were translated to Icelandic.