Added comments to NL* implementation