Elaborated standard defs, type def, definition def

Added names to folder names for convenience (temporary)